|
In set theory, the axiom schema of replacement is a schema of axioms in Zermelo–Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite sets in ZFC. The axiom schema is motivated by the idea that whether a class is a set depends only on the cardinality of the class, not on the rank of its elements. Thus, if one class is "small enough" to be a set, and there is a surjection from that class to a second class, the axiom states that the second class is also a set. However, because ZFC only speaks of sets, not proper classes, the schema is stated only for definable surjections, which are identified with their defining formulas. == Statement == Suppose ''P'' is a definable binary relation (which may be a proper class) such that for every set ''x'' there is a unique set ''y'' such that ''P''(''x'',''y'') holds. There is a corresponding definable function ''F''''P'', where ''F''''P''(''X'') = ''Y'' if and only if ''P''(''X'',''Y''); ''F'' will also be a proper class if ''P'' is. Consider the (possibly proper) class ''B'' defined such for every set ''y'', ''y'' is in ''B'' if and only if there is an ''x'' in ''A'' with ''F''''P''(''x'') = ''y''. ''B'' is called the image of ''A'' under ''F''''P'', and denoted ''F''''P''() or (using set-builder notation) . The axiom schema of replacement states that if ''F'' is a definable class function, as above, and ''A'' is any set, then the image ''F''() is also a set. This can be seen as a principle of smallness: the axiom states that if ''A'' is small enough to be a set, then ''F''() is also small enough to be a set. It is implied by the stronger axiom of limitation of size. Because it is impossible to quantify over definable functions in first-order logic, one instance of the schema is included for each formula φ in the language of set theory with free variables among ''w''1, ..., ''w''''n'', ''A'', ''x'', ''y''; but ''B'' is not free in φ. In the formal language of set theory, the axiom schema is: : 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Axiom schema of replacement」の詳細全文を読む スポンサード リンク
|